formal logic的例句大全

Modern formal logic holding guide ideology of the philosophy that is about dialectical materialism and object theory about logic reveals two independence of apodeictic relation about reasoning between premise and conclusion.

持辩证唯物论逻辑客体说哲学指导思想的当代形式逻辑揭示了推理的前提与结论间的必然关系的两个独立性。

互联网摘选

You arrived at your conclusion using the methods of formal logic.

你这个结论是按照形式逻辑的方法推论出来的.

《现代汉英综合大词典》

His analyses and interpretations of I Ching were also much of formal logic.

他对易之道德世界的分析与解释也是极其形式化的逻辑的.

互联网摘选

The development of formal logic and its implementation in computing machinery is fundamental to computer science.

发展形式逻辑和其执行情况的计算机是计算机科学的基础。

互联网摘选

In the investigation, first, the description logic is used to express the syntax and semantic of domain ontology and to implement the formal translation of domain onto-logy.

首先采用描述逻辑表达领域本体的语法和语义，实现领域本体的形式化转换；

互联网摘选

And I prove the formal axiomatic system of prepositional logic that is made up of Axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.

证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。

互联网摘选

The development of the modern formal logic has provided us with an untraditional way to be in search of truth.

现代形式逻辑的发展为我们提供了一种不同于传统的求真方式。

互联网摘选

The systematic, formal, axiomatic development of the logic of all forms and models of being.

事物的所有表示和模型的逻辑的,系统的, 正式的, 和公理性的开发.

互联网摘选

The most plausible instances of a priori concept are the formal concepts of logic.

先验概念的最似乎有道理的例子是逻辑的形式概念.

词典精选例句

The most plausible instarces of a priori concepts are the formal concepts of logic.

光验概念的一个最似乎有道理的例子是逻辑的形式概念.

词典精选例句

That necessitates a higher estimate of the notion, however, than is found in formal conceptualist Logic, where the notion is a mere form of our subjective thought, with no original content of its own.

这样，我们当然就必须把概念理解为另一较高的意义，异于知性逻辑所理解那样，把概念仅看成我们主观思维中的、本身没有内容的一种形式。

互联网摘选

Specifically, major contributions are as follows: Firstly, this thesis develops a formal semantic model for component that is based on predicate logic, set theory and Pi-calculus.

具体如下：首先，本文结合构件的静态结构特征和动态行为特征，基于谓词逻辑、集合论以及进程代数π演算，提出了一种构件的形式语义模型。

互联网摘选